Fault Propagation by Equation Solving
نویسندگان
چکیده
In this paper we use equation solving for translating internal tests derived for a component embedded within a composite system into external tests defined over the external alphabets of the system. The composite system is represented as two communicating finite state machines (FSMs), an embedded component FSM, and a context FSM that models the remaining part of the system and which is assumed to be correctly implemented. Application example is given to demonstrate the steps of the method. The method can be adapted for test derivation for a system of two or more communicating FSMs.
منابع مشابه
Fault Attack on ACORN v3
Fault attack is one of the most efficient side channel attacks and has attracted much attention in recent public cryptographic literatures. In this work we introduce a fault attack on the authenticated cipher ACORN v3. Our attack is done under the assumption that a fault is injected into an initial state of ACORN v3 randomly, and contains two main steps: fault locating and equation solving. At ...
متن کاملModeling Time Resolved Light Propagation Inside a Realistic Human Head Model
Background: Near infrared spectroscopy imaging is one of the new techniques used for investigating structural and functionality of different body tissues. This is done by injecting light into the medium and measuring the photon intensity at the surface of the tissue.Method: In this paper the different medical applications, various imaging and simulation techniques of NIRS imaging is described. ...
متن کاملA General Model Based Framework for Fault Accommodation
A general fault accommodation system is proposed in this paper. Detailed accommodation strategies are presented for different types of faults. A combination of different diagnostic techniques involved in collective problem solving is used in the diagnosis module. A pseudomeasurement based Extended Kalman Filter (EKF) is used to perform the fault parameter estimation task for differential and al...
متن کاملFault Propagation of System Network based on State Transition Equation Modelled
Failure propagation analysis is the cornerstone to assure safe operation, predicative maintenance for equipment integrated system. Study the failure propagation mechanism of complex system on the basis system directed network constructed. The grade diffusing process widely used is described with the fault propagation probability and constrains. According to the fault information of nodes and ed...
متن کاملAn Approximate Numerical Technique for Characterizing Optical Pulse Propagation in Inhomogeneous Biological Tissue
An approximate numerical technique for modeling optical pulse propagation through weakly scattering biological tissue is developed by solving the photon transport equation in biological tissue that includes varying refractive index and varying scattering/absorption coefficients. The proposed technique involves first tracing the ray paths defined by the refractive index profile of the medium by ...
متن کامل